#ifndef _KERNEL_H_
#define	_KERNEL_H_

#include <Environment.h>

class Kernel
{
public:
	Kernel();

	static void Init(uint64_t p1, uint64_t p2);
	
	static void Bsod(const char *message);
	
	static void BootDone();
	static bool IsBooting();
	
private:
	static bool Booting;
};

#endif	/* KERNEL_H */

